Computation Observability Regions for Discrete-time Hybrid Systems
نویسندگان
چکیده
In this paper we focus on observability for hybrid systems in the mixed-logic dynamical form. We show that the maximal set of observable states, that is usually non convex and disconnected, can be represented as the union of finitely many polytopic regions. The argument, that is based on multi-parametric programming theory, is constructive and provides an algorithm for the computation of the regions.
منابع مشابه
Discrete and continuous structural properties for observability∗
Hybrid systems are powerful abstractions for modeling complex systems so that they have been used in a number of applications to provide models better reflecting the nature of control problems such as the ones related to embedded system design where discrete controls are routinely applied to continuous processes. Their theoretical properties are still the subject of intense research: in particu...
متن کاملUser-interfaces for Hybrid Systems: Analysis and Design through Hybrid Reachability
Hybrid systems combine discrete state dynamics, which model the dynamics of mode switching in the system, with continuous state dynamics, which model the physical processes themselves. Human interaction with hybrid systems involves the user, the automation’s discrete mode-logic, and the underlying continuous dynamics of the physical system. Often the user-interface of such systems displays a re...
متن کاملA Study of the Observability of Multidimensional Hybrid Linear Systems
A class of multidimensional hybrid linear systems is presented, with the time vector composed by q continuous-time real components and by r discrete-time integer ones, q, r ≥ 1. The state equation is of multidimensional partial differential-difference type. A generalized variation-of-parameters formula is provided and it is used to obtain the state and the general response of the system. The fu...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملObservability of Piecewise-Affine Hybrid Systems
We consider observability for a class of piecewise-affine hybrid systems without inputs. The aim is to give verifiable conditions for observability in terms of linear equations and inequalities. We first discuss a number of important concepts, such as discrete-event detectability and trajectory observability. We give sufficient conditions for observability, observability in infinitesimal time, ...
متن کامل